Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs

interpretation. Current work is devoted to defining an abstract contextual process, which finitely represents the possibly infinite set of possibly infinite concrete structures which can be obtained for a given abstract "query mode." Notice that, while the CC schedule analysis can be performed both on eventual and on atomic CC programs (and the corresponding semantic structures), the analysis needed for the CLP parallelization task is only possible on the semantics for atomic CC programs, since this is the only one where nondeterminism can be exchanged for indeterminism, due to the presence of the inconsistency relation. Therefore the main result of this paper, that is, a concurrent semantics for atomic CC programs, is the necessary starting point for exploiting our semantic approach towards the CLP parallelization goal.